2

Verifying networks of processes that communicate via shared variables

Tatjana Kapus, Bogomir Horvat
Journal:
Microprocessing and Microprogramming
Year:
1992
Language:
english
File:
PDF, 560 KB
english, 1992
3

A true concurrency semantics for parallel programs

Tatjana Kapus, Bogomir Horvat, Marjeta Pučko
Journal:
Microprocessing and Microprogramming
Year:
1993
Language:
english
File:
PDF, 348 KB
english, 1993
4

Modelling highly inflected languages

Mirjam Sepesy Maučec, Zdravko Kačič, Bogomir Horvat
Journal:
Information Sciences
Year:
2004
Language:
english
File:
PDF, 281 KB
english, 2004
6

Cost analysis of interconnection networks

Gabi Dreo, Niko Čižek, Bogomir Horvat, Viljem Žumer
Journal:
Microprocessing and Microprogramming
Year:
1991
Language:
english
File:
PDF, 390 KB
english, 1991
8

A study of harmonic features for the speaker recognition

Bojan Imperl, Zdravko Kačič, Bogomir Horvat
Journal:
Speech Communication
Year:
1997
Language:
english
File:
PDF, 491 KB
english, 1997
9

Overall risk criterion estimation of hidden Markov model parameters

Janez Kaiser, Bogomir Horvat, Zdravko Kačič
Journal:
Speech Communication
Year:
2002
Language:
english
File:
PDF, 270 KB
english, 2002
12

AUTOMATIC FORMAL VERIFICATION OF DIGITAL SYSTEMS USING PROLOG

Brezocnik, Zmago, Horvat, Bogomir
Journal:
ACM SIGCHI Bulletin
Year:
1988
Language:
english
File:
PDF, 193 KB
english, 1988